export type a = number;
